In Lotus Notes R5 designer, we have a field that is defined as text, editable. It represents a number. We want it to be a full 8 characters, and if the user keys in less than 8 characters, we want to pad it automatically on the left with zeros. Example: if user keys 12345, we want to automatically make it to be 00012345.
What is the Formula Language (@...) command to pad left with zeros to a specific number of total characters?