The symbol is also used in philosophy (to show material equivalence, or to show that two statements can be freely substituted for each other without change of meaning), in biology (to show synonyms based on the same type specimen) and in application design (as an interface element, effectively a stylised menu item, or to show justified text).