間のバインディングを作るのに用いられる。おいて定義され名前を付けられるものは全て関連付けられたシンボルを持つ。両方において中心的な役割を果たす抽象体だ。取得するメソッドなど、シンボルは幅広い情報を提供する。クラスの型パラメータの取得、メソッドのパラメータ型の取得、フィールドの型の取得などが挙げられる。シンボルのオーナーの階層シンボルは階層化されている。クラスはそれを含むパッケージに所有されいてるという具合だ。いう特殊なシングルトン・オブジェクトのオーナーが用いられる。アクセスすると例外が発生する。型、クラス、トレイトの宣言そして、型パラメータを表す。いったメソッドを持つ。クラスやトレイトの宣言に格納される全ての情報へのアクセスを提供する。val、var、def、そしてオブジェクトの宣言、パッケージや値のパラメータを表す。メソッドが(基本)コンストラクタであるか、可変長引数をサポートするかなどの問い合わせを行うことができる。オブジェクトの宣言を表す。メンバを用いてオブジェクトに暗黙的に関連付けられているクラスを照会することができる。よって関連付けられるモジュール・シンボルを得られる。型を返すメソッドを使う場面があるかもしれない。型をより特定の特殊化されたシンボル型へと変換することができる。サブタイプに変換することができる。具体例を用いて説明しよう。返されたことを保証する必要がある。入手可能な情報が不完全であるという特殊なステータスを持つシンボルだ。(詳しくは構文木のレイフィケーションの節を参照)。元の名前とオーナー、そして元の型シグネチャに似た代理シグネチャを持った合成のダミーシンボルへとレイファイする。呼ぶことで確かめることができる。呼ぶことで特定の構文木とその部分木から参照されている全ての自由型のリストを取得することができる。用いることでレイフィケーションが自由型を生成したときに警告を得ることができる。インスタンスは対応するシンボルの型情報を表す。基底型、型消去などを含む。検査することができる。