O que podemos fazer sobre a diversidade desnecessária de notação para definições sintáticas? | Synapse