Hardly bad, literal yes, almost. 'Chaves' (keys, braces, staches in the post's joke) really come from the mathematical term 'chaveta', a punctuation, symbol that serves as a opening and closure in mathematical terms, hence the term as a key and not as brace (what would be better translated as braçadeira).