瑜伽論記 4.288

4.288

空智者，謂緣彼境如實了知，彼論意說所執法有情空及真如空性俱名所知空，觀彼無時見此有故，證此有時見彼空故，有空無二俱名境空，此說空行所證所空，能觀彼心即名空智。

"Knowledge of emptiness refers to knowing that objective sphere as it truly is." What that treatise means to say is that both the emptiness of imagined dharmas and sentient beings and the empty nature of tathatā are called knowable emptiness: because when one contemplates the non-existence of the former, one sees the existence of the latter; and when one realizes the existence of the latter, one sees the emptiness of the former. Both the existence and the emptiness without duality are named objective emptiness. This speaks of that which is realized and that which is emptied by the practice of emptiness; the mind capable of contemplating it is named the knowledge of emptiness.