blob: 54bcd885c3d2de182e1c885ba1c0c72a530018e2 [file] [log] [blame]
% ------------------------------------------------------------------------------
% Copyright (c) 2010, 2021 Contributors to the Eclipse Foundation
%
% See the NOTICE file(s) distributed with this work for additional
% information regarding copyright ownership.
%
% This program and the accompanying materials are made available under the terms
% of the MIT License which is available at https://opensource.org/licenses/MIT
%
% SPDX-License-Identifier: MIT
% ------------------------------------------------------------------------------
\begin{rail}
LexicalRealNumber : ( ZEROTK | ( ONENINETK ( () + ZERONINETK ) ) )
( DOTTK ( ZERONINETK + () )
| ( ( () | ( DOTTK ( ZERONINETK + () ) ) )
( expTK | EXPTK ) ( () | PLUSTK | MINUSTK )
( ZEROTK | ( ONENINETK ( () + ZERONINETK ) ) )
) )
;
\end{rail}