Definición 2.2 Las cadenas de signos siguientes se dicen "fórmulas atómicas" de LETAC: