# A → β define(⟦AMP⟧, ⟦&⟧) define(⟦AP⟧, ⟦'⟧) define(⟦BQ⟧, ⟦`⟧) define(⟦BS⟧, ⟦\\⟧) define(⟦DO⟧, ⟦$⟧) define(⟦DQ⟧, ⟦\"⟧) define(⟦EX⟧, ⟦!⟧) define(⟦GT⟧, ⟦>⟧) define(⟦LT⟧, ⟦<⟧)