use std::io;
use std::io::BufRead;

use isabelle_unicode::PrettyUnicode;


fn main() {

    let stdin = io::stdin();

    stdin.lock()
         .lines()
         .filter_map(|line| match line {
             Ok(line) if line.trim().is_empty()
                 => Some("\n".to_string()),
             Ok(line)
                 => line.to_pretty_unicode(),
             Err(_)
                 => None
         })
        .for_each(|line| print!("{}", line));

}