You can, after loading the Notation package, define a symbol like pattern ... package transforms this into valid symbol-name only consisting of letters.
確定! 回上一頁