Syntax definitions used in Google.Answer.

We separate them to allow handling the syntax without the full implementation.

def Google.answer : Lean.ParserDescr

Indicates where the answer is in a problem statement.

Equations

• One or more equations did not get rendered due to their size.