I'm basically looking for a nicely type-set version of the symbol ||~, or a way to make it myself.  Is there a way to generate a math-mode symbol that looks like a \VDash, but with a tilde in place of a horizontal line?
I'm looking for a symbol for skeptical consequence so that I can write that something, B, is a skeptical consequence of something else, A.  In a book I read it's written like \(A \vdash B\) or \(A \sststile{}{} B\) but the horizontal line is wavy like \sim, has the same width as the vertical line and does not vary in width. So, what I'm looking for is a binary relation symbol that is similar to the combination of the first two and the last relation in the following image:    That is, something similar to the following mockup but the wavy line should be such that it has a constant width and the same width as the vertical line:    I've tried  without success.
How do I avoid checking for updates for a specific module? In a current project I have had to patch the life out of a few modules (node hierarchy, workbench access and a few more). These modules are now absolutely perfect for the project's needs and are very unlikely to break with future updates to core.  That being said, when the app is handed over the clients will have full (user 1) access to the system and will therefore be warned when these modules have available updates. And they will update them, no matter how many times I beg them not to (oh how easy life would be without clients!).  Is there a way (perhaps in the modules' .info files) to persuade the update manager not to check for updates for these modules?  EDIT  I'm aware of the project status url key that's available for the .info file so I guess I could set that to a non-existent URL but I'd much rather do this in a clean way if possible. Rules and guidelines for drawing good schematics There are a lot of poorly drawn schematics here. A few times people have actually asked for critiques of their schematics. This question is intended as a single repository on schematic drawing rules and guidelines can point people to. The question is  What are the rules and guidelines for drawing good schematics?     Note: This is about schematics themselves, not about the circuits they represent. Let $(X,d)$ be a metric space and for $x,y \in X$ define $$d_b(x,y) = \dfrac{d(x,y)}{1 + d(x,y)}$$ a) show that $d_b$ is a metric on $X$  Hint: consider the derivative of $f(t)$ = $\dfrac{t}{1+t}$  b) show that $ d$ and $ d_b $ are equivalent metrics. c) let $(X,d) $ be $(\mathbb{R}, |\cdot|)$ Show that there exists no $ M&gt;0$ such that $ |x-y| $ $\leq$ $Md_b$ $(x,y)$ for all $ x,y$ $\in$ $\mathbb{R}$  I have calculated $f(t)$ and $f'(t)$ and from this I know $f(t)$ is an increasing function as $f'(t)$ is strictly positive. But I don't know where to go from here or how to do parts b) and c) How To Make A Solid Object Drop To The Ground Like It Was Liquid Can I replace my road bike's front wheel quick release with any quick release? I lost my road bike's quick release. Pictured are what I lost. Do I need to find a specific quick release that fits, or does one size fit all/most? What should the standard spelling be - British or US? Does the Sun produce audible sound? Theoretically if I were able to build some sort of device that let me sit 1 foot away from the surface of the Sun (or any star for that matter) without being vaporized, would a star produce any sort of audible sound at that distance?   From my understanding, sound waves need a medium to propagate through (air, water, etc).   Does this mean that all stars are completely silent (in the audible spectrum of frequencies at least) as they fuse  hydrogen into helium?   I know stars emit radio, xray, infrared, ultraviolet electromagnetic waves, but how about audible (20 Hz to 20Khz) frequencies?   For some reason it seems like this process would produce some sort of sound. How to solve missing libmng.so.1 in Trusty (14.04) Package is no more available I would like to run SoulseekQT. However unfortunately one of the dependencies is libmng1, which is no more included in Trusty. sudo apt-get install libmng.so.1 or libmng1 or libmng1:i386 in Trusty (14.04) no more available. Do you have any idea how to solve this conflict? I mean is it really sure that libmng1 is excluded? Could I use libmng2 somehow instead? If not, could I somehow rebuild libmng1 for Trusty? Or do I have to downgrade back to Saucy (13.10)? Alternative version of the Final Value theorem for Laplace Transform Why does my iPhone power off when the battery is down to 30%? Why does pizza cheese seem hotter than the crust? When I eat hot pizza or a melted cheese sandwich, the cheese feels a lot hotter than the crust or bread: in particular, the cheese might scald the roof of my mouth. but the crust will not. Is this   my imagination, or because the crust cools a little faster than the cheese, so has already cooled a bit by the time I eat it, or because the cheese cools a little faster than the crust, so transfers heat to the roof of my mouth a bit more, or what? What longest time ever was achieved at holding light in a closed volume? For what longest possible time it was possible to hold light in a closed volume with mirrored walls?   I would be most interested for results with empty volume but results with solid-state volume may be also interesting. Prove that $2^{1/2}$ is irrational I'm trying to understand each part of this completed proof that my professor did, here is my interpretation in parentheses, please advise as necessary.  Proof: Assume that $2^{1/2}$ is rational, then $2^{1/2}$ = $p/q$ for some integer $p$ and $q$ with $q \neq 0$ and $\gcd(p,q) = 1$  $$(p/q)^2 = 2 = p^2 / q^2 $$ $$\text{ (What was the purpose of squaring √2 and p/q?)}$$  $$p^2 = 2q^2$$ $$ \text{ (Is this basically just canceling out the q^2 on left side, and multiplying the right side?)}$$  2 | p^2 => (2 divides p^2 since it is a factor)  2 | p => (thus 2 divides p)  p = 2k for some integer k => (definition of even)  (2k)^2 = 4k^2 = 2q^2 => (Why are we squaring 2k, and how does 4k^2 = 2q^2?)   q^2 = 2k^2 => (Canceled out 2 on one side, and dividing on other)  2 | q^2 => (2 divides q^2)  2 | q => (thus 2 divides q)  2 | gcd(p,q) => (2 divides gcd of p and q)  2 | 1 Which is a Contradiction (no clue how I got here) Using oscilloscope safely with AC mains I know there is quite few discussions already on this topic, but since English isn't my first language, I though it better to get some more information about this.  I have used oscilloscopes to troubleshoot electronics problems and measure AC engine current spikes at startup, but I have no experience using them to measure high voltage levels and my experience is with old analog scopes.  So now I have this new DSO and the input rating is 400V peak to peak AC, so it can handle about 140V AC RMS? Not that I'm going to input that much there.  Since I live in Europe the mains here are 230 V @ 50 Hz I can't measure them directly.  If I set the attenuation from the scope and probe to 10X, the voltage is 23 RMS and it is safe to measure? And yes the probes are rated for 1kV.  If that is true, it's also safe to measure voltage between two main lines (400V RMS), since the peak-to-peak would be about 112 volts?  SAFETY: When I am measuring AC, I will be using the scope from its internal battery or with a isolating transformer (1:1) so that it is floating, meaning that there is no connection to earth ground. Are there any other safety issues I have not realized? Is it possible to sort non-stackable items in minecraft? are super sweet.  But, I have a skeleton farm, and am getting tons of non-stackable drops.  Since armor can be smelted into iron/gold, I'd like to smelt those drops in a furnace, and burn bows in a furnace.  And trash all leather armor.  Is there a way to sort out these non-stackable items in vanilla survival? I'm used to doing all my coding in one C file. However, I'm working on a project large enough that it becomes impractical to do so. I've been #including them together but I've run into cases where I'm #including some files multiple times, etc. I've heard of .h files, but I'm not sure what their function is (or why having 2 files is better than 1).  What strategies should I use for organizing my code? Is it possible to separate "public" functions from "private" ones for a particular file?   question precipitated my inquiry. The tea.h file makes no reference to the tea.c file. Does the compiler "know" that every .h file has a corresponding .c file? Free ornaments font I'm looking for a free ornaments font. I know about  and pifont. Where can I find more glyphs? Every time a user posts something containing &lt; or &gt; in a page in my web application, I get this exception thrown.  I don't want to go into the discussion about the smartness of throwing an exception or crashing an entire web application because somebody entered a character in a text box, but I am looking for an elegant way to handle this.  Trapping the exception and showing     An error has occurred please go back and re-type your entire form again, but this time please do not use &lt;   doesn't seem professional enough to me.  Disabling post validation (validateRequest="false") will definitely avoid this error, but it will leave the page vulnerable to a number of attacks.  Ideally: When a post back occurs containing HTML restricted characters, that posted value in the Form collection will be automatically HTML encoded. So the .Text property of my text-box will be something &amp; lt; html &amp; gt;  Is there a way I can do this from a handler? How can I make a div not larger than its contents? I have a layout similar to:  &lt;div&gt;     &lt;table&gt;     &lt;/table&gt; &lt;/div&gt;   I would like for the div to only expand to as wide as my table becomes. How to upload LaTeX-generated pdf paper to arXiv without LaTeX sources arXiv is smart enough to detect whether your PDF is generated by LaTeX. If it is, arXiv asks for the sources of the PDF instead of the PDF file itself. This is really annoying and inconvenient.  I ask a way to fool the arXiv and avoid PDFs being detected as generated by LaTeX (even if they were indeed).  I have tried this: : "create a pdf from word and then simply insert pages from your article, and delete the word's page".  And it did not work.