A edição brasileira do Dicionário Houaiss da Língua Portuguesa regista cerquilha como denominação do «sinal us[ado] em algumas linguagens como operador de divisão ou como sinal de comentário na linguagem-fonte (p. ex., no Mumps, em linguagem C++ etc.) [símb.: #]». A mesma fonte indica que, na mesma acepção, tralha é sinónimo de cerquilha. No entanto, parece mais comum a expressão «jogo da velha», pelo menos, coloquialmente.1
Em Portugal, é corrente a denominação cardinal, quando o símbolo em apreço se refere ao número de elementos de um conjunto.2 No entanto, o Dicionário Priberam, editado por uma empresa portuguesa, também consigna como sinónimo cerquilha, sem precisar se é termo usado no português em geral ou apenas numa variedade em particular.
1 Agradeço a Luciano Eduardo de Oliveira a achega sobre o uso desta locução. Numa página de domínio .br, ocorrem outras designações, o que sugere certa margem de variação: porteirinha, cauabanga, caprino, malha, grade, quadrado. Trata-se de palavras que requerem um exame mais atento, dado tratar-se de um sinal que se confunde com o de sustenido, pertencente à notação musical.
2Agradeço à dra. Gracinda Carvalho o esclarecimento prestado sobre o uso deste símbolo.
