namespace http://gl.mathhub.info/MMT/LFX/Quote-Eval 

fixmeta http://cds.omdoc.org/mmt?mmt 

theory Symbols =
	Construction #  
	quoteOp #  1  prec -1000 
	evalOp # |⌜ 1 ⌝| prec -1100 
	unquoteOp #  1  prec -1000