Names

<#3773#>Names<#3773#> of objects and algorithms are written in small (lower case) <#3774#>letters<#3774#> possibly followed by some further small <#3775#>letters<#3775#> or <#3776#>digits<#3776#>.

(315,080)<#4636#> (000,070)<#4500#>name<#4500#> 170 (000,050)<#4501#>(1,0)<#3778#>030<#3778#><#5387#>#tex2html_wrap7095#(060,010)<#5388#>letter<#5388#><#5387#> (1,0)<#3781#>120<#3781#><#4501#> 171 (185,040)<#3782#>(20,20)[r]<#3782#> (185,030)<#4502#>(-1,0)<#3783#>005<#3783#><#4502#> (115,030)<#4503#>(1,0)<#3784#>005<#3784#><#5390#>#tex2html_wrap7099#(060,010)<#5391#>letter<#5391#><#5390#><#4503#> (115,040)<#3787#>(20,20)[l]<#3787#> 172 (195,040)<#4504#>(0,-1)<#3788#>20<#3788#><#4504#> (185,020)<#3789#>(20,20)[rb]<#3789#> (185,010)<#4505#>(-1,0)<#3790#>005<#3790#><#4505#> (115,010)<#4506#>(1,0)<#3791#>005<#3791#><#5393#>#tex2html_wrap7103#(060,010)<#5394#>digit<#5394#><#5393#><#4506#> (115,020)<#3794#>(20,20)[lb]<#3794#> (105,020)<#4507#>(0,1)<#3795#>20<#3795#><#4507#> 173 <#4636#>

Within a <#3796#>name<#3796#>, spaces may be used freely to enhance readability. Whereas in Elan such spaces are redundant and do not form part of the <#3797#>name<#3797#>, in the Elan Programming Environment single embedded spaces are considered part of the <#3798#>name<#3798#>. All occurrences of one same <#3799#>name<#3799#> must have the same layout.

Types and operators have <#3800#>bold-names<#3800#>, written in capital letters.

(315,050)<#4637#> (000,040)<#4508#>bold-name, type-name<#4508#> 174 (000,020)<#4509#>(1,0)<#3802#>030<#3802#><#5396#>#tex2html_wrap7127#(060,010)<#5397#>bold-letter<#5397#><#5396#> (1,0)<#3805#>030<#3805#><#4509#> 175 (095,010)<#3806#>(20,20)[r]<#3806#> (095,000)<#4510#>(-1,0)<#3807#>070<#3807#><#4510#> (025,010)<#3808#>(20,20)[l]<#3808#> 176 <#4637#>

Spaces are not allowed in a <#3809#>bold-name<#3809#>. A number of operators have special symbols as names, such as <#3810#>+<#3810#> etc. These are listed in section 4.3.