Support strikeout

Signed-off-by: Watanabe, Kimitaka <kimitaka@logic.cs.tsukuba.ac.jp>