``` @Define @MathCommands [!] = @Reserved Let' see the formula `[!](p -> q) -> ([!]p -> [!]q)` ``` produce error message: ``` ... [!] is reserved! ```