El famoso científico de computación Ken Thompson, uno de los creadores de Unix, implemento esta notación en el editor de texto qed, después en el editor de texto ed y eventualmente en grep.