通过自动纠正:即由软件自动将形态相近且输入方便的符号替换为正确的字符,例如将两个连字符 — 修正为长连接号 — 。这种方法学习和使用成本都很低,但缺点是不够灵活,在不需要修正时(例如写代码时)需要额外步骤来关闭 。
通过用户词典:即预先定义一串易记的输入码和所需字符的对应关系,从而在输入时可以直接从候选词中选取 。这种方法的效率、灵活性都较高,但需要花一定成本来设置 。
另外,如今的用户每天面对的不只是一台设备,而是不同形态、不同操作系统的多台设备,不同平台对符号输入的支持情况也存在各自的特点:
- macOS是一个对符号输入特别友好的系统 。如上所述,默认键盘布局为各类常用特殊字符提供了组合键 。任何文本框中,都可以用 Control + Command + 空格呼出功能完善的符号输入面板,可以分类检索或者按名称搜索;中文输入法下按 Shift + 6 可以呼出标点选单 。macOS 还具有系统级的 自动替换和自定义短语功能,并且可以通过 iCloud 与 iOS 设备同步 。
iOS在早期版本中的符号输入功能比较羸弱 。但经过多年的进化,如今的内建输入法已经比较完善 。无论中文键盘还是英文键盘,都提供了很多现成的常用字符,在一些键位上长按还可以看到与其相关的更多字符 。此外,可以安装 Symbolay、UniChar 这类第三方 app 来获得字符分类列表、键盘扩展等功能 。
Android平台的碎片化较为严重,甚至不存在一个共同的默认键盘,因此无法作出概括性的评论 。如果只考察第一方 app,Gboard 和 Google 拼音输入法都能直接输入大量特殊符号 。另外,得益于平台的开放性,安装第三方的文本替换和符号输入工具是非常容易的,在 Play Store 上以 Unicode 为关键词搜索就能找到大量这类 app 。
文章插图
Windows 和 macOS 的字符输入面板
综合上述情况,我的建议是采用「分级处理」的策略应对符号输入的需求:
- 对于常见、高频的标点符号(将在下文列举),应当记住直接输入的按键组合 。
- 对于常用但在移动设备上输入不便的符号,或者相对不常见、但自己使用较多的符号(例如理科可能会较多地用到专用数学符号),最好用文本替换功能为其指定输入码,以便用到时快速、准确地输入 。
- 对于其他低频使用的符号,偶尔用到时使用符号输入面板(电脑上)或第三方 app(移动设备上)即可,没有必要花费过多时间提前学习组合键或设置文本替换 。
https://www.obdev.at/products/launchbar/index.html)、[KeyboardMaestro]
https://www.keyboardmaestro.com/main/),Windows 上的 AutoHotKey 等 。但这些工具的主要功能并非符号输入,在此不过多赘述 。
最后,考虑到符号数量繁多,在遇到陌生符号或者拿不准用法时,下面这些文档和工具可以作为参考:
- Unicode 的官方 字符列表是符号名称、形态和用例的权威参考,只是检索起来相对不便 。
- Unicode Table 是一个非常全面和美观的网页工具,可以按照编码、名称等检索 Unicode 字符,还可以将陌生符号粘贴到搜索框来反向查找 。
- GB/T 15834—2011 是中国关于标点符号用法的国家标准,强烈推荐通读 。
- 《中文排版需求》(CLReq) 是 W3C 描述中文排版需求与问题的文件,目前尚处于草案阶段,但已经比较完善 。文档的 §3.1(标点符号与其排版)及附件 A(中文标点符号表)对中文标点的相关技术问题做了细致的说明 。
文章插图
网页工具 Unicode Table 和 iOS 应用 UniChart
结语
必须承认,上文归纳的很多符号的区别是细微的,有的离「吹毛求疵」只有一步之遥,因此难免受到质疑:有必要吗?毕竟,圆点的大小和横线的长短似乎是很无聊的区别,用直引号代替弯引号、用连字符代替连接号也是大众做法,「几十年就是这样下来」 。人生苦短,为什么要把时间花在学习和输入符号上?
- 电脑没有声音了怎么办 电脑没声音的修复方法
- 电脑密码忘记了怎么办 电脑开机密码快速解除方法
- 笔记本电脑忘记密码怎么办 电脑忘记开机密码的简单处理方法
- 电脑怎么远程控制另一台电脑 手机控制电脑或另一部手机的方法
- 电脑还原系统怎么操作 电脑恢复出厂设置和重装系统的教程
- 电脑驱动怎么更新 Win10显卡驱动更新方法介绍
- 如何调节电脑亮度 屏幕亮度调节电脑软件推荐
- 笔记本cpu温度多少正常 玩游戏笔记本电脑的cpu会被烧坏吗
- win10文件夹设置密码的方法 win10电脑设密码怎么设
- 电脑屏幕旋转了怎么办 电脑突然成横屏了的解决方法