Anonymous user
Terminal control/Display an extended character: Difference between revisions
Terminal control/Display an extended character (view source)
Revision as of 03:00, 9 July 2016
, 7 years agoadded whitespace before the TOC (table of contents), added a ;Task: (bold) header, added other whitespace and highlighting to the task's preamble.
m (added whitespace before the TOC (table of contents), added a ;Task: (bold) header, added other whitespace and highlighting to the task's preamble.) |
|||
Line 1:
{{task|Text processing}}
The task is to display an extended (non ASCII) character onto the terminal. For this task, we will display a £ (GBP currency sign).▼
;Task:
▲
Specifically, display a <big> £ </big> (GBP currency sign).
<br><br>
=={{header|ACL2}}==
|