式を解釈する：

選択のリストに限る：

デフォルトでは，すべての記号が使える．使用できる記号のリストに限る：

デフォルトでは，新しい記号が$Contextで作成されるが，カスタムのコンテキストを指定することもできる：

使用できる記号と出力記号についてコンテキストを指定する：

新しい記号が作成されないようにする：