@kowaretai 我真的觉得画线的专名号很有必要恢复……首先是给别人一个分词上的方便(有时候根本搞不清楚哪个字属于术语,哪个字不是,尤其是那些什么过、上、下、的之类字开头结尾的),二是画条线对阅读基本不构成负担,习惯了可以当没看见。但字体字号是真的每次都构成新刺激。