我有以下公式:
$$\bot \dashv\vdash \bot \land A /* not derivable */$$
但该短语/* not derivable */
无法正确显示。例如/
和之间有空格,但和*
之间没有空格。not
derivable
我该如何修复它?
答案1
你似乎正在使用纯 TeX,所以我会坚持使用它,你可以使用它\hbox
返回到文本模式
$$\bot \dashv\vdash \bot \land A \qquad \hbox{/* not derivable */}$$
答案2
如果您想使用嵌入式版本,您可以:
$\bot \dashv\vdash \bot \land A $ not derivable