# and what the heck is a "¬"

surely it has some purpose… other than to play ascii Tetris?

That is a logical symbol meaning not.

Oh, and UNICODE lists the “`” key as a grave accent. This makes the most sense, since “~” and “^” are also interpretable as accents. Why the keyboards have these is beyond me, since as far as I know there have never been programs that exploit this potential character marking, such as with Pi~nata.

Also, the “|” is a broken bar, although in recent years it’s become a straight pipe. UNICODE says it’s a parted rule in typography. I think it’s great to change it to a straight pipe, because there aren’t enough indistinguishable vertical characters in English.

Thanks Burton, also does the ~ tilda also mean ‘circa’ or ‘approximately’ in logic formulas?

I hesitate to say it means anything, since languages use these ambiguous characters in different ways (for example, many use a single | as a logical OR). In C and C++, the ~ is a bitwise invert; all bits that are true are made false and vice versa.

The trouble with having any circa equivalence operator is that the appropriate epsilon (the minimum difference to register distinct values) changes depending upon the context. When we write that in an equation we leave that value to reader interpretation; with computers we need a value, which is an arbitrary choice. It’s better to leave such an operation to a function where the parameters can be explicitly and unambiguously defined.

That said, the most common epsilon is 0.000001, or 1e-6. As far as I know this is just a tradition.

Various programming languages over the years have used ~, !, ^, and ¬ for NOT, all reflecting the fact that, until the 90’s, computers did not normally have ≠, ≮, or ≯ (that’s not-equal, not-less, and not-greater), or the ability to draw a line over a symbol (a common way in logic of expressing NOT).

I don’t know offhand of any computer language with a “circa” symbol, although some languages, like APL, contain “circa” in their definitions of “equal”. (For those who are not programmers, and think that’s bizarre, the reason is that computers cannot carry fractions out to infinity, so most scientific calculations require that tests for equality be approximate. Most languages assume that the programmer will undertake the burden of defining just how equal “equal” should be, but a few figure it might as well be automatic.)

The ~, `, ^, and ’ keys are used in international keyboards to make accents, as is ", which is used to make a dieresis: ã, à, â, á, ä. Since ASCII was originally designed for real, printing teletypes, I imagine some such use was intended from the beginning, since, of course, a typewriter-style overstrike was entirely possible. (And, yes, boys and girls, back in the days of real typewriters, " was the accepted way to make a dieresis on an English-language typewriter.) In several points, ASCII code is based on the keyboard of US manual (not electric) typewriters.

This isn’t a comment on a Staff Report (except by a very tortuous connection), so I’m moving it to the General Questions format.

In formal logic, ~ is an alternate symbol for negation. It’s a synonym for ¬.

In other parts of maths ~ means “tends to a ratio of one with” eg. n(n-1)~n[sup]2[/sup]. IIRC I’ve also seen it used to mean ‘about’ or ‘something like’, though for ‘approximately’ we’ve normally used a tilde with a bar underneath, or a wavey equals sign.

But the notation does vary so YMMV.

No, no! You’re all wrong. It’s just for making “AzN” emoticons. For example:

``````
¬ ¬
v

``````

Aren’t you glad we have teenage dopers?

In the Macromedia Director programming language called “Lingo,” the ¬ symbol is used to allow command lines to split into two lines.

here’s what the encyclopedia of symbols has to say about the tilde:

http://www.symbols.com/encyclopedia/14/141.html

Also, ~ is used to indicate an equivalence relation (as in a ~ b to mean “a is equivalent to b”).

The grave accent ( " ` " ) is used in some Linux systems as a way to tell the system that the text inside of the graves is a command that should be run. Useful for scripting and the SED command. The pipe ( " | " ) is used to move the output of one command to the input of another. It allows one to do pretty much anything by combining all the basic commands.
For Symbolic Logic, the tilda ( " ~ " ) is the most commonly used way to indicate negation. You can sometimes write a bar over the negated quantity, but that’s less common.

If you set your keyboard to International rather than US101, whenever you type a ~n or `a, it will automatically convert it to the appropriate accented symbol for you.

It’s a nose. Regard:

¦:¬þ

This is odd … on the main “General Questions” screen listing all the thread topics, I see that character as a line with a little hook at the end, like so (in crude ASCII art):

``````
______
|

``````

But when reading the thread, it is displayed as something that resembles a crushed and crumpled lower-case r, or possibly t. I wonder what’s up with that.

Does it look anything like this?

For some reason, the SDMB often loads up as a Japanese page when Japanese fonts are installed. This isn’t a problem usually, unless two-byte characters are used, in which case the characters are displayed as Japanese characters. On my computer the symbol shows up as katakana “ya”. For some reason.

I just mention this because “ya” could be construed to look like a crumpled r or t.

Yep, that’s the one, Jovan. I think I did install Japanese character support a while back, so I guess that explains it and other characters that are weird. For instance, the very first letter of Attrayant’s emoticon-face looks, to me, like a reversed F with the bottom half (the part of the vertical line below the two horizontal bars) curved.

I’m confused. You don’t mean there are no programs that turn ~+n into ñ do you? Cause all the text editing programs I have do that. They also turn `+e into è, ¨+a into ä, ^+o into ô and so on and so forth.

Oh, :smack: maybe you’re being sarchastic and I’m being dense. Sorry, carry on. (and use some smileys next time )

What program are you talking about? Word 2000 won’t do that for me.