Edsger W. Dijkstra Archive

Home

Search

Numerical
EWD Index:
    00xx
    01xx
    02xx
    03xx
    04xx
    05xx
    06xx
    07xx
    08xx
    09xx
    10xx
    11xx
    12xx
    13xx

BibTeX index

MC Reports

Other documents

Transcriptions

Video and Audio

External links

Special characters used in EWD transcriptions

All transcribed EWDs are best viewed in a font which supports the entire Unicode character set.

The following special characters appear in one or more transcribed EWDs.
If you have trouble viewing any of the characters on this page, you may have trouble viewing some transcribed EWDs. But if you can't resolve these problems, remember that the original scanned EWD is always only a click away.

Glyph Escape
Sequence
Textual
Representation
Example Use
& & n/a  
" " n/a  
    n/a EWD1313, to space formulae
ô ô small letter o with circumflex rôle
λ λ Greek small letter lambda EWD1142
– -- (En dash)
— --- (Em Dash) EWD1313
ö ö n/a EWD1316
• bullet EWD1142
− minus sign
∙ small bullet (multiply)
◦ functional composition EWD692
□ white square EWD1142
▯ "fat bar" (used between guarded commands) EWD764
≠ differs from (not equal)
≡ {equivales} EWD1313
⇒ {implies} EWD1313
⇐ {follows from}
⇔ left right double arrow
∧ {and} EWD1313
∨ {or} EWD1313
¬ ¬ {not} EWD804
∀ {for all}
∃ {there exists}
∈ {element of }
∉ {not an element of }
× × {times} EWD1214
← {left arrow} EWD1255
↑ {up arrow}
→ {right arrow} EWD1216
↓ {down arrow} EWD1313, representing the GCD and later the minimum
≤ {at most} EWD1313
≥ {at least}  
⊑ {square at most} EWD1313, representing "divides"
⊒ {square at least}  
〈 left angle bracket EWD1142
〉 right angle bracket EWD1142
√ square root EWD923A

You can find other characters in the Unicode charts; most of the mathematical characters are here.


Revised Tue, 14 Nov 2006