📅  最后修改于: 2020-10-13 10:46:24             🧑  作者: Mango
\ buildrel … \ over …-用于绘制REL。
{ \buildrel \over #1 }
结果是REL(二进制关系)类,因此它具有关系的间隔。
\buildrel \alpha\beta \over \longrightarrow
\buildrel \rm def \over {:=}