The Open item (menu File) is standard but enlarged. Besides Boolean documents, it allows to open without problem any text document. The annex gives the text structure of a Boolean file so that the user may prepare a Boolean formula (from any application) by a text file following this text structure.