en:pfw:substitution-phrases
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| en:pfw:substitution-phrases [2023-09-04 18:22] – ↷ Seite von pfw:substitution-phrases nach en:pfw:substitution-phrases verschoben uho | en:pfw:substitution-phrases [2025-08-01 11:17] (current) – [The idea of substitution phrases] format fixed mka | ||
|---|---|---|---|
| Line 15: | Line 15: | ||
| * Instead of '' | * Instead of '' | ||
| - | * Or you can define the missing operator and make use of the substitution phrase in the definition:< | + | * Or you can define the missing operator and make use of the substitution phrase in the definition: |
| + | |||
| + | < | ||
| : <= ( n1 n2 -- f ) > 0= ; | : <= ( n1 n2 -- f ) > 0= ; | ||
| </ | </ | ||
| Line 24: | Line 26: | ||
| Anyway it is good to know about substitution phrases. | Anyway it is good to know about substitution phrases. | ||
| - | So here is the definition | + | So here is the definition: |
| + | |||
| + | * A // | ||
| - | > **Substiution Phrase** | ||
| - | > | ||
| - | > A // | ||
| ===== Some substitution phrases ===== | ===== Some substitution phrases ===== | ||
en/pfw/substitution-phrases.1693844552.txt.gz · Last modified: 2023-09-04 18:22 by uho