# Verus Syntax

The code below illustrates a large swath of Verus's syntax.

```rust
{{#include ../../../../examples/syntax.rs}}
```