in smt2parser/src/concrete.rs [1111:1121]
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
let c = self.0.as_bytes().get(0);
if c.is_some()
&& lexer::is_non_digit_symbol_byte(*c.unwrap())
&& self.0.as_bytes().iter().all(|c| lexer::is_symbol_byte(*c))
{
write!(f, "{}", self.0)
} else {
write!(f, "|{}|", self.0)
}
}