Open
Description
Creating terms by hand requires a frustrating amount of tedious code. The parser makes it easier, but there are still cases where it's helpful to create them by hand. Adding macros to make this easier might significantly reduce the effort required.