Adelfa is an interactive proof assistant written in the Edinburgh Logical Framework (LF). When tasked with developing a logo for this project, it was important to incorporate the capital pi symbol, the name's roots as a type of flowering plant, and a subtle emphasis to the "lf" contained in the title.
As the logo's most recognizable element, the capital A required a lot of iterations and fine-tuning. It was incredibly important for the character to read as an A, resemble the pi symbol, fit in with the rest of the type, and provide visual interest and character all at once.
It was also important to incorporate some sort of nod to the "lf" contained in the name due to the proof assistant's relationship to the Edinburgh Logical Framework. This is achieved through a subtle incorporation of the multiply effect on the custom overlapping ligature as well as the placement of the graphic element.
The small graphic element is a subtle nod to the roots of the proof assistant's name—adelfa is a type of ornamental, flowering shrub / small tree. The small graphic provides a little bit of visual interest to the logo, and is flexible enough to fit into any potential future branding elements if needed.
