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 ❙ ❚