小编Sam*_*Sam的帖子

继这个问题之后,当我处于逐字模式时,我完全难以让LaTeX给我一个波浪号.它必须是代字号,因为它是函数的类型!

sig symm : (Board, [(Int, Int)]) ~> Bool

当然,逐字打印标准的波浪形显示方法.

有什么建议？

一个编辑澄清:在逐字模式下键入〜给出一个空格以上的重音.因为它出现在这句话的开头.