You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Thanks @samm82. I like how picky you are! Since our goal is to say everything once (and generate all other instances) we should make every effort to say things as best we can. The acronym RHS is pretty common, so I think it is a good idea to use it. Even if it isn't used much in SWHS, it will be used in other examples.
The full version of "RHS" is "right-hand side", with a hyphen (source), and likewise for "LHS" (if used).
Note that the capitalization should then be "Right-Hand Side", since "right" is a word on its own (source).
Also note that this along with #3380 and #3381 are specific to SWHS but could come up in other examples as well.
The text was updated successfully, but these errors were encountered: