Estos son los caracteres formales: