The symbols ⊢ (U+22A2) and ⊣ (U+22A3) are \vdash and \dashv in LaTeX. ... It's hard to imagine mathematics without an equal sign, but our symbol for equality ...
確定! 回上一頁