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 | X | ||||||
× | cross | %x | × | X × Y | ||||
spot | @ | { S x } | ||||||
shows | |- | p ¬ p | ||||||
in | %e | 2 | ||||||
¬ | not | %not | ¬ | ¬ -2 | ||||
and | /\ | P Q | ||||||
or | \/ | P Q | ||||||
implies | => | P Q | ||||||
equivalence | <=> | P Q | ||||||
for all | %A | S x | ||||||
exists | %E | S x , 1 S x | ||||||
schema define | =^= | S T \ U | ||||||
schema projection | %S|\ | S T | ||||||
schema composition | %S; | S T | ||||||
schema piping | %S>> | S T |
symbol | name | 'ascii' | example | |||
---|---|---|---|---|---|---|
, | not equal , not in | =/=, %/e | 1 2 { 3 } | |||
emptyset | (/) | 1 X | ||||
, | subset , proper | %c_ , %c | { 1 } { 1 } { 1 , 2 } | |||
, | union , generalised | %u , %uu | a b \ C | |||
, | intersection , generalised | %n , %nn | a b \ C | |||
, | relations , maplet | <-> , |-> | X Y , x y | |||
, | composition | %; , %o | r s = s r | |||
, | restriction | <: , :> | a r b | |||
, | anti-restriction | <-: , :-> | a r b | |||
, | image | (| , |) | r a | |||
override | (+) | r s = (dom s r) s | ||||
, | functions | -|-> , --> | X Y , X Y | |||
, | injections | >-|-> , >--> | X Y , X Y | |||
, | surjections | -|->> , -->> | X Y , X Y | |||
bijection | >-->> | X Y | ||||
, | naturals , integers | %N , %Z | 1 1 | |||
, | less or equal , greater or equal | <= , >= | 1 5 3 | |||
finite sets | %F | dom # = X | ||||
, | finite functions , injections | -||-> , >-||-> | X Y , X Y | |||
, | sequence brackets | %< , %> | a , b | |||
concatenation | %^ | s t | ||||
, | extraction , filtering | /| , |\ | p s b = squash (p s b) | |||
, | bag brackets | [| , |] | a , a , b | |||
, | multiplicity , scaling | %# , (x) | ( n B ) x | |||
, | bag member , subbag | %Be , %Bc_ | x B C |
Eventually, we will be able to write HTML like &XI; to get . But for now:
letter | name | 'ascii' | HTML code | |||
---|---|---|---|---|---|---|
, A | alpha | %alpha% , A | ||||
, B | beta | %beta% , B | ||||
, | gamma | %gamma% , %Gamma% | ||||
, | delta | %delta% , %Delta% | ||||
, E | epsilon | %epsilon% , E | ||||
, Z | zeta | %zeta% , Z | ||||
, H | eta | %eta% , H | ||||
, , | theta | %theta% , %vartheta% , %Theta% | ||||
, I | iota | %iota% , I | ||||
, K | kappa | %kappa% , K | ||||
, | lambda | %lambda% , %Lambda% | ||||
µ , M | mu | %mu% , M | µ | |||
, N | nu | %nu% , N | ||||
, | xi | %xi% , %Xi% | ||||
o , O | omicron | o , O | ||||
, , | pi | %pi% , %varpi% , %Pi% | ||||
, P | rho | %rho% , P | ||||
, , | sigma | %sigma% , %varsigma% , %Sigma% | ||||
, T | tau | %tau% , T | ||||
upsilon | %upsilon% | |||||
, , | phi | %phi% , %varphi% , %Phi% | ||||
, X | 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 |