Esto se escribe con frecuencia en pseudo-HTML como: