Single-Line DEF: DEF [data-type] def-name [([[data-type] unsubs-var-name],...)]=exp Multi-Line DEF: DEF [data-type] def-name [([[data-type] unsubs-var-name],...)] [statement]... { END DEF } { FNEND }