Linear logic uses an unusual symbol, an ampersand rotated 180 degrees, for multiplicative disjunction. \invamp. The symbol is U+214B in ...
確定! 回上一頁