Defines starting with `e' in mint