> Used properties (Werner's proposal):
> @itemize
> @item @code{number} [default: 3]
> @item @code{pair} [default: (0 . 0)]
> @item @code{empty-list} [default: ()]
> @end itemize
Actually, my suggestion should be formatted like this:
@itemize
@item @code{number} [default: @code{3}]
@item @code{pair} [default: @code{(0 . 0)}]
@item @code{empty-list} [default: @code{()}]
@end itemize
Werner
