表示变量属于给定实坐标空间的一组常用符号是?(“元素”,Unicode U+2208)和?(“DOUBLE-STRUCK CAPITAL R”,Unicode U+211D)。
那些是两个符号可用eqn,troff和/或groff?我在文档中找不到它们。
编辑:
我已经测试了提供的答案,我可以得到符号?(“ELEMENT OF”,Unicode U+2208),但不是符号?(“DOUBLE-STRUCK CAPITAL R”,Unicode U+211D)。
具体来说,如果我这样做:
.TL
Test
.NH
Introduction
.LP
Given an input in subspace \[u211D]:
.EQ
x \[mo] \[u211D] sup 2
.EN
with output estimated value:
.EQ
y hat
.EN
Run Code Online (Sandbox Code Playgroud)
我收到以下错误:
cat test.ms | eqn | groff -ms > test.ps
troff: <standard input>:8: warning: can't find special character 'u211D'
Run Code Online (Sandbox Code Playgroud)
正如在 PS 输出中看到的那样?显示,但是?不是:
我正在使用FreeBSD 12 eqn和groff。
我已经看到,为了将纪元转换为日期时间,可以执行以下操作:
date -d @1346338800 +'%Y%m%d%H%M%S'
Run Code Online (Sandbox Code Playgroud)
我怎样才能在 Linux 中做相反的事情?IE 将 20191027163020 转换为纪元值?是否可以不使用 Python 或其他编程语言脚本来完成?
我正在尝试将几个目录写入磁带。每个目录有一个 tar 命令。
所以我有以下示例文件/目录结构:
user@host1:~/temp/original % find .
.
./foo1
./foo1/foo1.a
./foo1/foo1.b
./foo1/foo1.c
./foo1/foo1.1
./foo2
./foo2/foo2.a
./foo2/foo2.b
./foo2/foo2.c
./foo2/foo2.2
./foo3
./foo3/foo3.a
./foo3/foo3.b
./foo3/foo3.c
./foo3/foo3.3
Run Code Online (Sandbox Code Playgroud)
我倒带并擦除磁带,我希望这就像使用空白磁带一样。
user@host1:~/temp/original % mt -f /dev/sa0 rewind
user@host1:~/temp/original % mt -f /dev/sa0 erase
user@host1:~/temp/original % mt -f /dev/sa0 rewind
user@host1:~/temp/original % mt -f /dev/sa0 status
Drive: sa0: <SEAGATE DAT 9SP40-000 912L> Serial Number: HN0948V
---------------------------------
Mode Density Blocksize bpi Compression
Current: 0x24:DDS-2 variable 61000 enabled (DCLZ)
---------------------------------
Current Driver State: at rest.
---------------------------------
Partition: 0 Calc …Run Code Online (Sandbox Code Playgroud)