This file is indexed.

/usr/lib/open-axiom/input/symbol.input is in open-axiom-test 1.4.1+svn~2626-2ubuntu2.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
-- Input generated from SymbolXmpPage
)clear all

X: Symbol := 'x
XX: Symbol := x
A := 'a
B := b
x**2 + 1
"Hello"::Symbol
new()$Symbol
new()$Symbol
new("xyz")$Symbol
X[i,j]
U := subscript(u, [1,2,1,2])
V := superscript(v, [n])
P := argscript(p, [t])
scripted? U
scripted? X
string X
name U
scripts U
name X
scripts X
M := script(Mammoth, [[i,j],[k,l],[0,1],[2],[u,v,w]])
scripts M
N := script(Nut, [[i,j],[k,l],[0,1]])
scripts N