; Dictionary for translating LaTeX math symbols to correnspondint text symbols
; Used in plasTeX with the renderer 'Parempi'

; Profiles
[asciimath]

;some common greek letters
alpha='alpha'       
beta='beta'       
gamma='gamma'        
delta='delta'        
epsilon='epsilon'      
gamma='gamma'
lambda='lambda'
mu='mu' 
pi='pi' 
sigma='sigma'
omega='omega'

;some other symbols
forall='\all'
exists='\exists'
lor='or'
vee='or'
land='and'
wedge='and'
in='\in'
cup='\union'
cap='\intersets'
setminus='\setminus'

[hlub]
;some common greek letters
alpha='~a'       
beta='~b'       
gamma='~g'        
delta='~d'        
epsilon='~e'      
lambda='~l'
mu='~m' 
pi='~p' 
sigma='~s'
omega='~o'

;some other symbols
forall='\A'
exists='\E'
lor='||'
vee='||'
land='&&'
wedge='&&'
in='\in'
geq='>='
emptyset='\0'
cup='\U'
cap='\I'
setminus='\M'
subset='\sub'
subseteq='\sube'
supset='\sup'
times=' \X '
equiv=' == '
neq=' != '
leftarrow=' <- '
longleftarrow=' <-- '
Leftarrow=' <== '
rightarrow=' -> '
longrightarrow=' --> '
Rightarrow=' ==> '
Longleftrightarrow=' <=> '
quad=' '
qquad='  '
overline='^c'
ast='^*'
