HTML's support for mathematics is minimal. And even the proposed extensions will not cover the whole of the Z symbol zoo. So for now, a suitable approach is to insert the characters as tiny images (transparent gifs) --- but remember that they will not scale with the text.
I am building up a set of useful Z symbols, which can be used in Web-Z documents. (The larger chunks of Z in the example are large images, not carefully composed from many small images!) With these symbols, you can compose such Z gems as
x :
![]()
![]()
y :
![]()
x <y
x, y :
| x
y
x <y
y <x
symbol | name | 'ascii' | HTML code | example | ||||
---|---|---|---|---|---|---|---|---|
![]() |
powerset | %P | ![]() |
|||||
× | cross | %x | × | X × Y | ||||
![]() |
spot | @ | { S ![]() |
|||||
![]() |
shows | |- | ![]() ![]() |
|||||
![]() |
in | %e | 2 ![]() ![]() |
|||||
¬ | not | %not | ¬ | ¬ -2 ![]() ![]() |
||||
![]() |
and | /\ | P ![]() |
|||||
![]() |
or | \/ | P ![]() |
|||||
![]() |
implies | => | P ![]() |
|||||
![]() |
equivalence | <=> | P ![]() |
|||||
![]() |
for all | %A | ![]() ![]() |
|||||
![]() |
exists | %E | ![]() ![]() ![]() ![]() |
|||||
![]() |
schema define | =^= | S ![]() |
|||||
![]() |
schema projection | %S|\ | S ![]() |
|||||
![]() |
schema composition | %S; | S ![]() |
|||||
![]() |
schema piping | %S>> | S ![]() |
symbol | name | 'ascii' | example | |||
---|---|---|---|---|---|---|
![]() ![]() |
not equal , not in | =/=, %/e | 1 ![]() ![]() |
|||
![]() |
emptyset | (/) | ![]() ![]() ![]() |
|||
![]() ![]() |
subset , proper | %c_ , %c | { 1 } ![]() ![]() |
|||
![]() ![]() |
union , generalised | %u , %uu | a ![]() ![]() |
|||
![]() ![]() |
intersection , generalised | %n , %nn | a ![]() ![]() |
|||
![]() ![]() |
relations , maplet | <-> , |-> | X ![]() ![]() |
|||
![]() ![]() |
composition | %; , %o | r ![]() ![]() |
|||
![]() ![]() |
restriction | <: , :> | a ![]() ![]() |
|||
![]() ![]() |
anti-restriction | <-: , :-> | a ![]() ![]() |
|||
![]() ![]() |
image | (| , |) | r ![]() ![]() |
|||
![]() |
override | (+) | r ![]() ![]() ![]() |
|||
![]() ![]() |
functions | -|-> , --> | X ![]() ![]() |
|||
![]() ![]() |
injections | >-|-> , >--> | X ![]() ![]() |
|||
![]() ![]() |
surjections | -|->> , -->> | X ![]() ![]() |
|||
![]() |
bijection | >-->> | X ![]() |
|||
![]() ![]() |
naturals , integers | %N , %Z | 1 ![]() ![]() ![]() ![]() ![]() ![]() |
|||
![]() ![]() |
less or equal , greater or equal | <= , >= | 1 ![]() ![]() |
|||
![]() |
finite sets | %F | dom # = ![]() |
|||
![]() ![]() |
finite functions , injections | -||-> , >-||-> | X ![]() ![]() |
|||
![]() ![]() |
sequence brackets | %< , %> | ![]() ![]() |
|||
![]() |
concatenation | %^ | s ![]() |
|||
![]() ![]() |
extraction , filtering | /| , |\ | p ![]() ![]() ![]() ![]() |
|||
![]() ![]() |
bag brackets | [| , |] | ![]() ![]() |
|||
![]() ![]() |
multiplicity , scaling | %# , (x) | ( n ![]() ![]() |
|||
![]() ![]() |
bag member , subbag | %Be , %Bc_ | x ![]() ![]() |
Eventually, we will be able to write HTML like &XI; to get
. But for now:
letter | name | 'ascii' | HTML code | |||
---|---|---|---|---|---|---|
![]() |
alpha | %alpha% , A | ||||
![]() |
beta | %beta% , B | ||||
![]() ![]() |
gamma | %gamma% , %Gamma% | ||||
![]() ![]() |
delta | %delta% , %Delta% | ||||
![]() |
epsilon | %epsilon% , E | ||||
![]() |
zeta | %zeta% , Z | ||||
![]() |
eta | %eta% , H | ||||
![]() ![]() ![]() |
theta | %theta% , %vartheta% , %Theta% | ||||
![]() |
iota | %iota% , I | ||||
![]() |
kappa | %kappa% , K | ||||
![]() ![]() |
lambda | %lambda% , %Lambda% | ||||
µ , M | mu | %mu% , M | µ | |||
![]() |
nu | %nu% , N | ||||
![]() ![]() |
xi | %xi% , %Xi% | ||||
o , O | omicron | o , O | ||||
![]() ![]() ![]() |
pi | %pi% , %varpi% , %Pi% | ||||
![]() |
rho | %rho% , P | ||||
![]() ![]() ![]() |
sigma | %sigma% , %varsigma% , %Sigma% | ||||
![]() |
tau | %tau% , T | ||||
![]() |
upsilon | %upsilon% | ||||
![]() ![]() ![]() |
phi | %phi% , %varphi% , %Phi% | ||||
![]() |
chi | %chi% , X | ||||
![]() ![]() |
psi | %psi% , %Psi% | ||||
![]() ![]() |
omega | %omega% , %Omega% |
symbol | name | |
---|---|---|
![]() |
aleph | |
![]() |
approximate equality | |
![]() |
equivalent to | |
![]() |
square root | |
![]() |
proportional to | |
![]() |
infinity | |
![]() ![]() |
top , bottom | |
![]() |
bowtie | |
![]() ![]() |
black box , white box | |
![]() ![]() |
diamond , triangle |