Na imagem que se segue, pode-se constatar quais são os símbolos que os lógicos escolheram para formalizarem os conceitos de "necessário" e de "possível".

Segunda proposta lúdica:

Segundo o estudioso Ricardo Santos, o símbolo para "necessário" é chamado de caixa. Já o símbolo para "possível" é tomado como um diamante. I rest my case.