Next: @b Prev: @A_ Up: @@ commands Top: Top WEB command `@a': Begin code part of unnamed module, and mark.

`@a begins the code part of an unnamed module (just as does `@A'), and in addition marks the next unreserved identifier it finds as defined in this module. Precisely,

`@a' == `@A@['