3 ms·In a proper font its size is the same as a capital letter, and matches the symbol '⊤' for true.by contravariant 10y agoIn a proper font its size is the same as a capital letter, and matches the symbol '⊤' for true.