"is valid positive integer" (Z11129) ߟߢߊ߬ߟߌ ߘߐ߬ߝߐ
ߓߐߣߍ߲ߢߐ߲߰ߡߊ ߓߊߕߐ߬ߡߐ߲: ߥߎߢߊ߲ߓߍ߫ (ߙߊ߬ߘߌߦߏ) ߞߎ߬ߘߎ ߣߐ߬ߣߐ߫ ߟߢߊ߬ߟߌ ߟߎ߬ ߘߐ߫ ߞߵߊ߬ ߟߊߢߐ߲߮ߡߊ߬ ߊ߬ ߣߌ߫ ߞߊ߬ ߘߏ߲߬ (entrée «enter») ߘߌ߯ ߥߟߊ߫ ߘߎ߰ߟߊ߬ߘߐ߬ ߞߘߎ.
ߞߘߐߦߌߘߊ: (ߞߍߞߎߘߊ) = ߣߌ߫ ߞߐ߯ߟߊ߫ ߟߢߊߟߌ ߟߎ߬ ߓߐߣߍ߲߫ ߦߋ߫ ߢߐ߲߮ ߡߊ߬߸ ߢߍߕߊ = ߣߌ߫ ߟߢߊ߬ߟߌ߫ ߢߍߕߊ ߓߐߣߍ߲߫ ߦߋ߫ ߢߐ߲߮ ߡߊ߬߸ ߡ =ߡߊ߬ߦߟߍ߬ߡߊ߲߬ߠߌ߲߫ ߘߋ߬ߣߍ߲.