"as⃝df̅" string-reverse "f̅ds⃝a" = .