isDelimiter function

bool isDelimiter(
  1. String text
)

Whether text (a command or a character) may follow \left, \right, \middle or \big.

Implementation

bool isDelimiter(String text) => delimiterText(text) != null;