Def		a[i..j]	[array_seg]
Def		a[++i]	[array_shift]
Def		arr1 @ arr2	[array_append]
Def		[T]Array{i..j}	[p_array]
Def		x:A. B(x)	[all]	core
Def		[T]Array	[array]
Def		{i..j}	[int_seg]	int 1
Def		{i...}	[int_upper]	int 1
Def		a.u	[array_ub]
Def		a.l	[array_lb]
Def		1of(t)	[pi1]	core
Def		a[i]	[array_el]
Def		2of(t)	[pi2]	core
Def		P & Q	[and]	core
Def		i  j < k	[lelt]	int 1
Def		AB	[le]	core
Def		A	[not]	core

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html