Submitted by György Chityil ... on Fri, 01/19/2018 - 22:28 Hierarchy: NounDescription: {{mathematics}} The symbol “{{term|sc=unicode|?}}” marking the end of a proof.Ngram: halmosNgram Text: halmosSource: WiktionaryIssue: 0Wiktionary tag: termsc=unicode?Ngram Count: 1