MetaPRL Font

The Nuprl_font module defines the character set used in MetaPRL for displaying terms. The character set defined for MetaPRL 0.6 is the following:

mathbbA :
mathbbB :
mathbbC :
mathbbD :
mathbbE :
mathbbF :
mathbbG :
mathbbH :
mathbbI :
mathbbJ :
mathbbK :
mathbbM :
mathbbN :
mathbbO :
mathbbP :
mathbbQ :
mathbbR :
mathbbS :
mathbbT :
mathbbU :
mathbbV :
mathbbW :
mathbbX :
mathbbY :
shortLeftarrow : 5
leftarrow :
middlearrow :
shortRightarrow :
rightarrow :
leftrightarrow :
ulcorner :
urcorner :
vdash
integral :
cdot
downarrow :
uparrow :
alpha
beta :
pi :
lambda :
gamma :
delta :
rho :
sigma :
epsilon :
eta :
theta :
iota :
kappa :
mu :
nu :
omicron :
tau :
phi :
xi :
omega :
wedge :
tneg :
member :
plusminus :
oplus : XXX
infty : XXX
partial :
subset :
supset :
cap :
cup :
forall :
exists :
oinfty : XXX
shortleftrightarrow :
shortleftarrow :
shortrightarrow :
longleftrightarrow :
longleftarrow :
longrightarrow :
neq : 225
sim : XXX
le :
ge :
equiv :
vee :
leftarrow :
middlearrow :
rightarrow :
sigma :
delta :
pi :
times :
div
supplus :
supminus :
supcirc :
subseteq :
supseteq :
subzero :
subone :
subtwo :
subthree :
suba :
subb :
subc :
subq : XXX
subz :