> For the complete documentation index, see [llms.txt](https://bo-yuan-huang.gitbook.io/ilang/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://bo-yuan-huang.gitbook.io/ilang/verification/notes.md).

# Notes

#### Remove trailing symbols

Copying text across platforms (e.g., Linux and Windows) may sometime results in trailing symbols. To resolve the issue:

```bash
sed -e "s/^M//" filename > newfilename
```